-
1 lower predicate calculus
= LPC II; = l.p.c.Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > lower predicate calculus
-
2 l.p.c.
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > l.p.c.
-
3 first-order logic
= first-order predicate calculusлогика [предикатов] первого порядкаформальная логическая система, используемая в математике, лингвистике и языках логического программирования. Основными синтаксическими элементами логики первого порядка являются символы, которые обозначают объекты (константные символы, constant symbol), отношения (предикатные символы, predicate symbol) и функции (функциональные символы, functional symbol).Syn:Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > first-order logic
-
4 LPC
1) Общая лексика: behav. abbr Least Preferred Coworker2) Военный термин: Laser Pressure Catapulting, Light Personnel Carrier, launch pod container, leader preparation course, leather personnel carriers3) Техника: light-pen control, linear power controller, linear predictive coder, loop preparation cask4) Сельское хозяйство: Laboratory Pasteurized Count, leaf protein concentrate5) Математика: нижнее исчисление предикатов (lower predicate calculus), связное парное сравнение (linked paired comparison)6) Юридический термин: Likely Public Charge, Legal Practice Course (в Англии и Уэльсе)7) Психология: least preferred coworker8) Сокращение: Label Print Center (in Topeka, makes bar coded tray labels), Label Printing Center (in Topeka, makes bar coded tray labels), Launch Pod Carrier, Linear Predictive Coding (data processing), Local Processing Center (outbound, new naming convention, 2005), Lord President of the Council, Low Pressure Compressor, leather personnel carrier, loop-control (relay), Line Protection Component, Местный фармацевтический комитет (Local Pharmaceutical Committee), liquid particle counting9) Электроника: Laser Particle Counter, Linear Predictive Coding, Liquid-borne Particle Counter, Low Particle Concentration10) Вычислительная техника: Linear Predictive Coding (Sprachverarbeitung), Low Pin Count (interface, ICH), Linear Predictive Coding (speech processing), local procedure call11) Нефть: компрессор низкого давления (low pressure compressor)12) Фирменный знак: Lightning Protection Corporation13) Деловая лексика: Lower Production Center14) Инвестиции: Local Privatization Center15) Сетевые технологии: longitudinal parity check16) Расширение файла: Sound (Linear Predictive Coding), Printer driver (TEKO)17) Должность: Licensed Professional Counselor18) НАСА: Long Period Comets -
5 LPC
I
1) linear predictive coding - кодирование с линейным предсказаниемклассический алгоритм сжатия речи. Представляет собой рекурсивный фильтр 10-го порядка, т. е. каждый текущий отсчёт (для текущего интервала стационарности, например раз в 20 мс) на выходе синтезирующего фильтра образуется из соответствующего текущего отсчёта сигнала возбуждения за вычетом линейной комбинации (взвешенной суммы) предыдущих десяти выходных отсчётов фильтра. Существует множество разновидностей и вариантов этого алгоритма2) Local Procedure Call - локальный вызов процедурымеханизм быстрого обмена сообщениями между процессами, принадлежащими системным компонентам Windows( недоступен через API)Ant:
II = lower predicate calculusАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > LPC
-
6 pure
1) чистый
2) беспримесный
3) строгий
4) несмешанный
5) безприсадочный
– pure air
– pure bending
– pure binary
– pure cathode
– pure crystal
– pure glycerin
– pure imaginary
– pure isotope
– pure lime
– pure mathematics
– pure number
– pure oxygen
– pure quadratic
– pure rotation
– pure rubber
– pure scattering
– pure semiconductor
– pure strain
– pure strategy
– pure subgroup
– pure substance
– pure surd
– pure tone
– pure variety
– pure water
upper pure value — верхняя цена, верхняя чистая цена
См. также в других словарях:
predicate calculus — Logic. See functional calculus. Also called predicate logic. [1945 50] * * * Part of modern symbolic logic which systematically exhibits the logical relations between propositions involving quantifiers such as all and some. The predicate calculus … Universalium
Predicate variable — In first order logic, a predicate variable is a predicate letter which can stand for a relation (between terms) but which has not been specifically assigned any particular relation (or meaning). In first order logic (FOL) they can be more… … Wikipedia
Predicate functor logic — In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… … Wikipedia
functional calculus — noun a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) • Syn: ↑predicate calculus • Hypernyms: ↑symbolic logic, ↑mathematical logic, ↑formal… … Useful english dictionary
Sequent calculus — In proof theory and mathematical logic, sequent calculus is a family of formal systems sharing a certain style of inference and certain formal properties. The first sequent calculi, systems LK and LJ, were introduced by Gerhard Gentzen in 1934 as … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
logic, philosophy of — Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… … Universalium
logic — logicless, adj. /loj ik/, n. 1. the science that investigates the principles governing correct or reliable inference. 2. a particular method of reasoning or argumentation: We were unable to follow his logic. 3. the system or principles of… … Universalium
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia
